Merge pull request #213 from tsteven4/constcast
authortsteven4 <tsteven4@users.noreply.github.com>
Sun, 1 Jul 2018 20:37:35 +0000 (14:37 -0600)
committerGitHub <noreply@github.com>
Sun, 1 Jul 2018 20:37:35 +0000 (14:37 -0600)
use const_cast to cast away const, and don't cast away const when unnecessary


Trivial merge